en coinductively
― DerivedFrom ⟶
Weight: 1.0
en coinductive Source: English Wiktionary